gtkmain: Remove comment mentioning GDK_PROPERTY_NOTIFY

... which doesn't exist anymore.

diff --git a/gtk/gtkmain.c b/gtk/gtkmain.c
index 8222f5774b7533e6f8345c95bc6e2b6510afb375..db05822cf50d730e1fb83844785fcef87bfca80a 100644 (file)
--- a/gtk/gtkmain.c
+++ b/gtk/gtkmain.c
@@ -1728,9 +1728,7 @@ gtk_main_do_event (GdkEvent *event)
 
   /* Find the widget which got the event. We store the widget
    * in the user_data field of GdkSurface's. Ignore the event
-   * if we don't have a widget for it, except for GDK_PROPERTY_NOTIFY
-   * events which are handled specially. Though this happens rarely,
-   * bogus events can occur for e.g. destroyed GdkSurfaces.
+   * if we don't have a widget for it.
    */
   event_widget = gtk_get_event_widget (event);
   if (!event_widget)